منابع مشابه
On the Logical Foundations of Staged Computation (Invited talk)
Dividing a omputation into stages and optimizing later phases using information from earlier phases is a familiar te hniquein algorithm design. In the realm of programming languages, staged omputation has found two important realizations:partial evaluation and run-time ode generation. A priori, these are fundamentally operational on epts, on erned with howa program exe utes, but...
متن کاملLogical foundations of CafeOBJ
This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adding several new primitive paradigms such as behavioural concurrent specification and rewriting logic. We first give a concise overview of CafeOBJ. Then we focus on the actual logical foundations of the language at two different levels: basic spec...
متن کاملLogical Foundations of Services
In this paper we consider a logical system of networks of processes that interact in an asynchronous manner by exchanging messages through communication channels. This provides a foundational algebraic framework for service-oriented computing that constitutes a primary factor in defining logical specifications of services, the way models of these specifications capture service orchestrations, a...
متن کاملLogical Foundations of Syllable Representations
• Differences in notation do not necessarily entail differences in the information encoded in a particular formalism. • Fonts are notationally equivalent, in the sense that cat and cat are the same word. • In contrast, there are meaningful differences between bracket types in mathematical notation: {1, 2} is an unordered set, while (1, 2) is an ordered pair. Research question: are different syl...
متن کاملLogical Foundations of Multilevel Databases
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, object-oriented...). Our model has three layers. The first layer corresponds to a model for a non-protected database. The second layer corresponds to a model for a multilevel database. In this second layer, we propose a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1977
ISSN: 0028-0836,1476-4687
DOI: 10.1038/270085a0